(0 15 10)(1 16 3)(2 13 11)(4 7 5)(6 14 9)(8 17 12)
ALLOWS (11/8)-SEQUENCE
1: (8 12 17)
(0 15 10)(1 16 3)(2 13 11)(4 7 5)(6 14 9)(8 12 17)
2: (2 13 11)
(0 15 10)(1 16 3)(2)(4 7 5)(6 14 9)(8 12 17)(11)(13)
3: (8 12 17)
(0 15 10)(1 16 3)(2)(4 7 5)(6 14 9)(8)(11)(12)(13)(17)
4: (1 16 3)
(0 15 10)(1)(2)(3)(4 7 5)(6 14 9)(8)(11)(12)(13)(16)(17)